Statecharts for Gene Network Modeling
نویسندگان
چکیده
State diagrams (stategraphs) are suitable for describing the behavior of dynamic systems. However, when they are used to model large and complex systems, determining the states and transitions among them can be overwhelming, due to their flat, unstratified structure. In this article, we present the use of statecharts as a novel way of modeling complex gene networks. Statecharts extend conventional state diagrams with features such as nested hierarchy, recursion, and concurrency. These features are commonly utilized in engineering for designing complex systems and can enable us to model complex gene networks in an efficient and systematic way. We modeled five key gene network motifs, simple regulation, autoregulation, feed-forward loop, single-input module, and dense overlapping regulon, using statecharts. Specifically, utilizing nested hierarchy and recursion, we were able to model a complex interlocked feed-forward loop network in a highly structured way, demonstrating the potential of our approach for modeling large and complex gene networks.
منابع مشابه
Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems
In this paper we present a tool to transform UML statecharts to UPPAAL automata. The tool allows one to check temporal properties against statecharts modeling a real-time system. We give the constraints on statecharts, the tool description, and the results of testing it on a well-known traffic control example.
متن کاملMobile UML Statecharts with Localities
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statecharts. Each object resides in a given place, and a collection of such places forms a network. Objects are aware of the localities of other objects, i.e. the logical names of the places where the latter reside, but not of...
متن کاملPerformance evaluation based on system modeling using Statecharts extensions
This paper presents two extensions for Statecharts: the Stochastic Statecharts, which use the original statecharts notation with a minor modification in the formal semantics and the Queuing Statecharts, which do not follow the pure Statecharts notation, but a join between Statecharts and queuing network representations. Some basic elements of Statecharts are redefined such as events and conditi...
متن کاملModeling and quantitative analysis of discrete event systems: A statecharts based approach
Development and implementation of new computer networks as well as modification of existing ones involve designers with problems of complexity and cost. Modeling and quantitative analysis, which allow performance evaluation of such systems before tackling their implementation, can alleviate these problems. Toward this end, we propose a modular approach based on dynamic behavior modeling and per...
متن کاملModeling gene regulatory networks: Classical models, optimal perturbation for identification of network
Deep understanding of molecular biology has allowed emergence of new technologies like DNA decryption. On the other hand, advancements of molecular biology have made manipulation of genetic systems simpler than ever; this promises extraordinary progress in biological, medical and biotechnological applications. This is not an unrealistic goal since genes which are regulated by gene regulatory ...
متن کامل